Learning Regular Omega Languages Dana Angluin1? and Dana Fisman2?? 1 2

Source URL: www.cis.upenn.edu

• Finite automata
• Formal languages
• Theoretical computer science
• -automaton
• Omega language
• Regular language
• Muller automaton
• Constructible universe
• Symbol
• DFA minimization
• Mathematics
• Omega-regular language

Verification of Complex Adaptive Systems Working Group Report - Dagstuhl SeminarLuca Bortolussi, Giacomo Cabri, Giovanna Di Marzo Serugendo, Vashti Galpin, Jane Hillston, Roberta Lanciani, Mieke Massink, Mirco Tri

Source URL: homepage.lnu.se

• Metaphysics
• Complex systems theory
• Philosophy
• Formal methods
• Theoretical computer science
• Logic in computer science
• Runtime verification
• Model checking
• Complex adaptive system
• System
• Emergence
• Field

Programming Language Technology Putting Formal Languages to Work Andreas Abel Department of Computer Science and Engineering Chalmers and Gothenburg University

Source URL: www2.tcs.ifi.lmu.de

Empowering Communities with Data Technologies

Source URL: www.big-data-europe.eu

• Data management
• Information science
• Formal sciences
• Big data
• Transaction processing
• Open data
• Data integration
• Data science
• Ontology
• Analytics

Applied Foundations: Proof Mining in Mathematics Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade

Source URL: www.mathematik.tu-darmstadt.de

• Logic
• Proof theory
• Mathematical logic
• Mathematics
• Proof mining
• Mathematical proof
• Consistency
• Constructive proof
• Formal proof
• Intuitionistic logic
• Approximation
• Type theory

Rooter: A Methodology for the Typical Unification of Access Points and Redundancy Jeremy Stribling, Daniel Aguayo and Maxwell Krohn A BSTRACT Many physicists would agree that, had it not been for congestion control, the

Source URL: pdos.csail.mit.edu

• Theoretical computer science
• Mathematics
• Theory of computation
• Computability theory
• Models of computation
• Mathematical logic
• Formal methods
• Algorithm
• Turing machine
• Randomized algorithm
• IP
• Alan Turing

ABC springer.com Security Informatics Special Issue on

Source URL: old.security-informatics.com

• Academia
• Knowledge
• Science and technology
• Lattice theory
• Information science
• Scientific method
• Computer graphics
• Infographics
• Formal concept analysis
• Electronic submission
• Informatics
• Data analysis

Call by Contract for Cryptographic Protocols

Source URL: evenmere.org

• Formal methods
• Logic in computer science
• Metalogic
• Automated theorem proving
• Logic programming
• Substitution
• Postcondition
• First-order logic
• Parameter
• Precondition
• Well-formed formula
• Model theory

ExCAPE Annual Report of Activities April 2014 to MarchOverview

Source URL: excape.cis.upenn.edu

• Theoretical computer science
• Electronic engineering
• Digital electronics
• Music
• Electronic design automation
• Formal verification
• Logic in computer science
• High-level synthesis
• Robotics
• Domain-specific language
• Finite-state machine
• Model checking

Automatic Program Repair by Fixing Contracts? Yu Pei, Carlo A. Furia, Martin Nordio, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland Abstract. While most debuggin

Source URL: se.inf.ethz.ch

• Software engineering
• Theoretical computer science
• Formal methods
• Logic in computer science
• Computer programming
• Software testing
• Extreme programming
• Postcondition
• Software bug
• Precondition
• Assertion
• Random testing